Complexity theory - PDFSEARCH.IO - Document Search Engine

Complexity theory
Results: 3600

#	Item
791	On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams† Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2009-11-12 23:47:30 NP-complete problems Logic in computer science Exponential time hypothesis 2-satisfiability Boolean satisfiability problem Conjunctive normal form Time complexity Parameterized complexity Dominating set Theoretical computer science Computational complexity theory Applied mathematics
792	Toward A Taxonomy of “Small” Genres and Writing Techniques for WAC Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2010-12-27 11:56:40 Pedagogy Philosophy of education Computational complexity theory Reduction Rote learning Eleanor Duckworth Inquiry-based learning Education Educational psychology Education reform
793	LNCSThe Lost Continent of Polynomial Time: Preprocessing and Kernelization Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-10-14 09:25:39 Analysis of algorithms Complexity classes Parameterized complexity Kernelization NP-complete problems Time complexity PP Polynomial NP Theoretical computer science Computational complexity theory Applied mathematics
794	Algorithms Lecture thesection: Approximation Algorithms [Fa’13] Le mieux est l’ennemi du bien. [The best is the enemy of the good.] — Voltaire, La Bégueule (1772) Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:03:25 NP-complete problems Approximation algorithm Vertex cover Travelling salesman problem Graph coloring Metric k-center Dynamic programming Christofides algorithm Set cover problem Theoretical computer science Mathematics Computational complexity theory
795	informs MATHEMATICS OF OPERATIONS RESEARCH Vol. 00, No. 0, Xxxxxx 20xx, pp. xxx–xxx ISSN 0364-765X \| EISSN \|xx\|0000\|0xxx Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-09-10 09:13:15 Operations research Submodular set function Computational complexity theory Linear programming Randomized rounding Continuous function Optimization problem Mathematical optimization Time complexity Theoretical computer science Mathematics Applied mathematics
796	Fast Randomized Test-and-Set and Renaming Dan Alistarh1 , Hagit Attiya1,2 , Seth Gilbert1 , Andrei Giurgiu1 , and Rachid Guerraoui1 1 Ecole Polytechnique F´ed´erale de Lausanne, Lausanne, Switzerland 2 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:01 Analysis of algorithms Computational complexity theory Probabilistic complexity theory Randomized algorithm Algorithm Complexity Consensus Adversary model In-place algorithm Theoretical computer science Applied mathematics Mathematics
797	Some Complexities in Computer-Based Systems and Their Implications for System Development Michael Jackson 101 Hamilton Terrace London NW8 9QX + Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 12:56:50 Object-oriented programming Application programming interfaces Abstraction Data management X Window System Class Complexity Function Computational complexity theory Software engineering Computing Software
798	Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs Kasper S. Luckow ˘ areanu ˘ Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 09:08:01 Complexity classes Probabilistic complexity theory Analysis of algorithms Randomized algorithm NL PP Algorithm Monte Carlo method Scheduling Theoretical computer science Computational complexity theory Applied mathematics
799	Chaos and multiple mode spatio-temporal complexity in thermo-visco-elastic systems subject to laser irradiation O. Gottlieb and E. Hollander Department of Mechanical Engineering, Technion - Israel Institute of Technology Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2015-05-19 15:49:12 Structure Limit-cycle Hopf bifurcation Chaos theory Dynamical system Bifurcation diagram Oscillation Laser Nonlinear system Bifurcation theory Physics Mathematical analysis
800	Language Complexity of Unimodal Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Combinatorics on words Automata theory Dynamical systems Ergodic theory Subshift of finite type Shift space Monoid Orbifold Mathematics Mathematical analysis Combinatorics

UPDATE